rank theorem